Power in Normative Systems Thomas Ågotnes† Wiebe van der Hoek‡ Moshe Tennenholtz∗ Michael Wooldridge‡ † ‡

Source URL: folk.uib.no

• Logic
• Mathematics
• Abstraction
• Banzhaf power index
• Game theory
• Voting theory
• Kripke semantics

Telling cause from effect in deterministic linear dynamical systems Supplementary Material We have prepared an appendix to address the proofs for Proposition 3, Theorems 1 and 2 which we provide in the following sections

Source URL: jmlr.org

• Mathematical analysis
• Mathematics
• Analysis
• Operator theory
• Algebra of random variables
• Covariance
• Covariance and correlation
• Variance
• Monotone convergence theorem
• Pi
• Harmonic analysis
• Proof that is irrational

Lineage-driven Fault Injection Peter Alvaro Joshua Rosen UC Berkeley

Source URL: people.ucsc.edu

• Computing
• Fault-tolerant computer systems
• Concurrent computing
• Data management
• Failure
• Fault tolerance
• Theory of computation
• Consensus
• Two-phase commit protocol
• Byzantine fault tolerance
• Data lineage
• Distributed computing

Microcanonical multifractal analysis of electric potential maps on the heart surface Oriol Pont∗a,b , Hussein Yahiaa , R´emi Duboisb a b

Source URL: geostat.bordeaux.inria.fr

• Fractals
• Dimension theory
• Mathematics
• Multifractal system
• Dynamical systems
• Analysis
• Systems science
• Fractal analysis
• Time series
• Singularity

The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010

Source URL: hasp.cs.pdx.edu

• Functional languages
• Functional programming
• Data types
• Type theory
• Procedural programming languages
• Haskell
• Syntax
• Monad
• Type system
• ML
• Programming language
• Type class

TAM VALLEY DEPOT QuadLN_S User Manual Firmware v1.0 N3IX Engineering

Source URL: www.tamvalleydepot.com

• Radio control
• Actuators
• Servo
• Systems theory
• Mechanical engineering
• Systems science
• Servo drive

Toilet_Thermo_Governors_141015a

Source URL: www.dubberly.com

• Cybernetics
• Academia
• Systems science
• Cognitive science
• Risk
• Systems theory
• Formal sciences
• Systems thinking
• Second-order cybernetics
• System
• Autopoiesis
• Control theory

Theory Comput. Systems OF1–OF40DOI: s00224Theory of Computing Systems

Source URL: www.labri.fr

JMLR: Workshop and Conference Proceedings vol–26 24th Annual Conference on Learning Theory Regret Bounds for the Adaptive Control of Linear Quadratic Systems

Source URL: webdocs.cs.ualberta.ca

• Statistical theory
• Statistics
• Estimation theory
• Econometrics
• Loss function
• Economic lot scheduling problem

To appear in Proc. of IEEE 3rd Intl. Conf. on Biometrics: Theory, Applications and Systems (BTAS 09), Washington DC, SeptemberBiometric Fusion: Does Modeling Correlation Really Matter? Karthik Nandakumar, Arun Ros

Source URL: biometrics.cse.msu.edu